Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
501	Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:37 Data types Primitive types Procedural programming languages Program logic Pointer Type theory Reference ALGOL 68 C Software engineering Computing Programming language theory
502	Manifestations of Java Dynamic Linking - an approximate understanding at source language level Sophia Drossopoulou and Susan Eisenbach Department of Computing, Imperial College, LONDON [sd,sue]@doc.ic.ac.uk Abstract Thro Add to Reading List Source URL: slurp.doc.ic.ac.uk Language: English - Date: 2004-02-02 07:07:00 Cross-platform software Java programming language Java platform Java virtual machine Hardware verification languages Java Main function D E Computing Software engineering Computer programming
503	ENERGY STAR Perspective on Monitoring, Verification, Enforcement Christopher Kent, U.S. EPA September 15, 2010 Add to Reading List Source URL: www.iea-4e.org Language: English - Date: 2010-09-27 02:29:02 United States Environmental Protection Agency Environment of the United States Pharmaceutical industry Validity Energy Star Verification and validation Science Verification Software testing Systems engineering Product certification Evaluation
504	DOC Document Add to Reading List Source URL: votingcentrelookup.vec.vic.gov.au Language: English - Date: 2012-09-05 21:08:22 Quality Management Pharmaceutical industry Validity Source code Software development process Quality assurance Verification and validation Evaluation Science Software quality
505	Datasheet Vehicle Powernet Design Synopsys’ Saber® provides a complete design and verification solution for vehicle power networks Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-28 08:15:39 Operations research Simulation SPICE Synopsys Reliability engineering Power network design SystemC Electronic engineering Electronic design automation Software
506	Problem Statement & Experimental Setting Illustration from Standalone Analysis Ensemble Spread Examination Cycled-Analysis Evaluation Forecast Verification vs Observations Forecast Verification vs Analysis Add to Reading List Source URL: www.jcsda.noaa.gov Language: English - Date: 2013-01-16 11:17:22 Statistics Classes of computers Weather prediction Statistical forecasting Monte Carlo methods Data assimilation Ensemble Kalman filter GEOS Bayesian statistics Estimation theory Software
507	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
508	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
509	MAGGEY Deluxe’s WinTime Time Clock combined with fingerprint recognition = Better Security for your center. Fingerprint Verification by MAGGEY Software Call Us Today[removed] Anyone can forge a name Add to Reading List Source URL: www.maggey.com Language: English - Date: 2013-08-24 02:50:53 Identification Surveillance Fingers Human anatomy Public key fingerprint Fingerprints Biometrics Security
510	Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Automated theorem proving Lisp programming language Theoretical computer science Logic in computer science Formal methods ACL2 Formal verification Logic programming J Strother Moore Computing Software engineering Computer programming

UPDATE